Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

机译：惰性抽象是广播协议的决策过程吗？

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rayna Dimitrova; Andreas Podelski; Universität Des Saarlandes;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automata Terms in a Lazy WSkS Decision Procedure [J] . Havlena Vojtech, Holik Lukas, Lengal Ondrej, Journal of Automated Reasoning . 2021,第7期

机译：懒惰WSKs决策程序中的自动机术语
2. Decision procedures for algebraic data types with abstractions [J] . Suter Philippe, Dotta Mirco, Kuncak Viktor ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第1期

机译：具有抽象的代数数据类型的决策程序
3. An Abstraction-based Decision Procedure For Bit-vector Arithmetic [J] . Randal E. Bryant, Daniel Kroening, Joel Ouaknine Sanjit A. Seshia, International Journal on Software Tools for Technology Transfer . 2009,第2期

机译：矢量的基于抽象的决策程序
4. Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? [C] . Rayna Dimitrova, Andreas Podelski Verification, Model Checking, and Abstract Interpretation . 2008

机译：惰性抽象是广播协议的决策过程吗？
5. Unbounded system verification using decision procedure and predicate abstraction. [D] . Lahiri, Shuvendu K. 2004

机译：使用决策程序和谓词抽象进行无限制的系统验证。
6. A temporal-abstraction mediator for protocol-based decision-support systems. [O] . A. K. Das, Y. Shahar, S. W. Tu, 1994

机译：用于基于协议的决策支持系统的时间抽象介体。
7. Ad Hoc Routing Protocol Verification Through Broadcast Abstraction [O] . Oskar Wibling, Joachim Parrow, Arnold Pears 2008

机译：通过广播抽象进行临时路由协议验证

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

著录项

引文网络

相似文献

相关主题

期刊订阅